チューリング完全(Turing complete)
チューリング完全(Turing complete)とは、何らかの計算を行う機構(論理回路や人工言語とその処理系など)が、万能チューリングマシンに等しい能力を持っていること。あらゆる計算を記述、実行できることを表す。
from IT用語辞典
万能チューリングマシンが解けない問題としてよく、停止性問題が挙げられる
Naa_tsure.iconプログラミング言語がよく例として挙げられるが、マリオメーカー やマジック:ザ・ギャザリング(Magic: The Gathering; MTG)もチューリング完全であることが示されている
マリオメーカーはチューリング完全だった【万能計算機】
Magic: The Gathering is Turing Complete | arXiv (2019)